Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
O que (quem) é Quotient type - definição
Quotient type
ALGEBRAIC DATA TYPE
In type theory, a kind of foundation of mathematics, a quotient type is an algebraic data type that represents a type whose equality relation has been redefined by a given equivalence relation such that the elements of the type are partitioned into a set of equivalence classes whose cardinality is less than or equal to that of the base type. Just as product types and sum types are analogous to the cartesian product and disjoint sum of abstract algebraic structures, quotient types reflect the concept of set-theoretic quotients, sets whose elements are surjectively partitioned into equivalence classes by a given equivalence relation on the set.
Quotient space (linear algebra)
VECTOR SPACE CONSISTING OF AFFINE SUBSETS
Linear quotient space; Quotient vector space
In linear algebra, the quotient of a vector space V by a subspace N is a vector space obtained by "collapsing" N to zero. The space obtained is called a quotient space and is denoted V/N (read "V mod N" or "V by N").
Ideal quotient
BINARY OPERATION DEFINED ON THE SET OF IDEALS IN A COMMUTATIVE RING; (I:J) CONSISTS OF ELEMENTS R OF THE COMMUTATIVE RING SUCH THAT RJ IS A SUBSET OF I; IN ALGEBRAIC GEOMETRY, CORRESPONDS TO THE SET DIFFERENCE OF SUBVARIETIES
Quotient ideal; Colon ideal
In abstract algebra, if I and J are ideals of a commutative ring R, their ideal quotient (I : J) is the set
